The classical theory of Sturm sequences provides an algorithm to determine the number of roots of a polynomial with real ...